Component Based Development - Where is the Place for Formalization ?
نویسندگان
چکیده
A software component has a contract that specifies its properties and thus define conditions for its use. The contract is an obvious object for formalization. It could assist in conformance checking for manufactured components and in checking consistent use of them in a concrete system. However, our experience with development of a complex, software intensive system with heterogeneous components indicates thatstate of the art is a syntactical level of formalization with a little static type checking. More can be done, but it requires support from development tools and component frameworks. Here, we discuss, how invariant checking may be implemented, and how process calculus based frameworks may be very useful for checking communication patterns among components.
منابع مشابه
• Place of justice in cultural- social development with emphasis on Positive law
Today, justice and its place are considered as a vital component in social development by theorists. After the revolution In Iran, Positive law is like a support by which we can realize "justice" in different affairs of society. Therefore, in this study, we considered the place of justice in social development with emphasis on Positive law. The main question is where the real place of justice i...
متن کاملSpatial Measurement and Analysis of Urban Identity in The Districts of Hashtgerd New Town
Urban identity is one of the major challenges of new towns, the lack of which leads to a lack of solidarity and social participation of citizens to achieve urban development plans. Ignorance of subcultures and geographical location and climatic characteristics and diminishing attention to the dimensions of urban identity and urban social life based on original values and indigenous identity, ...
متن کاملبازشناخت مؤلفههای مؤثر بر شکلگیری مکان در شهر ایرانی اسلامی مورد پژوهی: مسجد نصیرالملک و مسجد جامع عتیق شیراز
Today's Islamic Iranian city must be an appropriate place to meet the diverse needs of citizens where relations between citizens together, and with the natural and artificial environment around them is set based on the values and Monotheism teachings of the religion of Islam. In fact, it seems that the ultimate goal of the Islamic Iranian city as a habitat is to pave the way of man towards the ...
متن کامل“Take as your place of worship the place where Abraham stood (to pray).”
In the verse “Take as your place of worship the place where Abraham stood (to pray)” Abraham’s position is an intense discussion among Fariqain commentators. Commentary of this verse as Mosalla of Tawaf prayer and Tawaf area has a practical and jurisprudential role during Hajj and Umrah. On commentary of Abraham’s position and his status, more than six exegetic viewpoints have been proposed fro...
متن کاملCentralization and decentralization: Theories and Models
The questions of centralization and decentralization arise in every polity. The constitution or the practice or both have to settle how much of policy making is to be decided by the central government and by component bodies. By and large liberalism and decentralization tend to go together while authoritarianism tends to be associated with centralization. The constitutional model which is gener...
متن کامل